De Morgan's theorem explained in detail with proof